<div>
   <p>
	 Make repo more quiet. 
   This is passed to repo as <code>repo sync <i>-q</i></code>.
  </p>
</div>
